From 3c80d6f3c61eb0f8072f70b0a9a8c8c7adf17572 Mon Sep 17 00:00:00 2001 From: Haozhong Zhang Date: Tue, 8 Dec 2015 09:46:30 +0100 Subject: [PATCH] x86/time: fix domain type check in tsc_set_info() Replace is_hvm_domain() in tsc_set_info() by has_hvm_container_domain() to keep consistent with other domain type checks in tsc_set_info(). Signed-off-by: Haozhong Zhang Reviewed-by: Boris Ostrovsky --- xen/arch/x86/time.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c index 30d52c45cb..b5223cf7f5 100644 --- a/xen/arch/x86/time.c +++ b/xen/arch/x86/time.c @@ -1878,7 +1878,7 @@ void tsc_set_info(struct domain *d, break; } d->arch.incarnation = incarnation + 1; - if ( is_hvm_domain(d) ) + if ( has_hvm_container_domain(d) ) { hvm_set_rdtsc_exiting(d, d->arch.vtsc); if ( d->vcpu && d->vcpu[0] && incarnation == 0 ) -- 2.30.2